在12个互异元素构成的有序数组a[1..12]中进行二分查找(即折半查找，向下取整)，若待查找的元素正好等于a[9]，则在此过程中，依次与数组中的( )比较后,查找成功结束。